Prophecy in Literature

domestication and foreignization in children literature translation

این پایان نامه به بررسی بومی سازی و بیگانه سازی در ادبیات کودکان مخصوصا زانر فانتزی می پردازد. در این پایان نامه ترجمه 14 کتاب داستان فانتزی برای سه گروه سنی کودکان بر اساس مدل ونوتی یعنی بومی سازی و بیگانه سازی مقاسه شدندکه در نتیجه برای سه گروه سنی از هر دو استراتزی توسط مترجمان در ترجمه کلمات فرهنگی استفاده شده است.

The Antichrist in Prophecy

The designation "Antichrist," appearing only in the epistles of John (1 John 2:18, 22; 4:3; 2 John 7), is made up of the Greek words anti ("against, in place of") and christos ("Christ"), and indicates any agent of the evil one (Satan) who acts contrary to or as a counterfeit of God's Anointed who is destined to rule the world in the end time (Psalm 2:2, 6-8; 110:1-2; Isaiah 9:6-7, et. al.). Th...

The Prophecy of Undo

Prophecy variables are auxiliary program variables whose values are defined in terms of current program state and future behavior. This paper explains their relevance to reasoning about systems with “undo” operations, and develops techniques that facilitate their use.

Prelude, prophecy, and promise.

Computation by Prophecy

We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises the traces of the computation of the function. The structure of a prophecy is a possibly infinite tree, which is coerced by linearisation to a type of partial results defined by applying the delay monad to the co-domai...